#ifndef CONFIG_VGA_ENABLE
#define CONFIG_VGA_ENABLE 0
#endif
#ifndef CONFIG_SVGA_ENABLE
#define CONFIG_SVGA_ENABLE 0
#endif
#ifndef CONFIG_KBD_ENABLE
#define CONFIG_KBD_ENABLE 0
#endif
#ifndef CONFIG_SVGA_MEMORY_HADDR
#define CONFIG_SVGA_MEMORY_HADDR B01
#endif
